Authority search results

Results 1 to 2 of 2

Authorized headings		Type of heading	Biblio records
Nazwa pospolita: Teoria dowodu. used for/see from: Dowodu teoria. Théorie de la démonstration [f] Proof theory [c] see also: Logika symboliczna i matematyczna. (Broader heading) Automatyczne dowodzenie twierdzeń. (Narrower heading) Twierdzenia o niezupełności. (Narrower heading)	Details	Nazwa pospolita	4 biblios as subject heading
Nazwa pospolita: Teoria dowodu konferencje.	Details	Nazwa pospolita	1 biblios as subject heading